Farinas Del Cerro, L. : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (37)
Les plus populaires
Liste
- Liste
- Tableau

1

A simple deduction method for modal logic

Luis Fariñas del Cerro

Journal:

Information Processing Letters

Année:

1982

Langue:

english

Fichier:

PDF, 356 KB

english, 1982

2

From ordering-based nonmonotonic reasoning to conditional logics

Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang

Journal:

Artificial Intelligence

Année:

1994

Langue:

english

Fichier:

PDF, 1001 KB

english, 1994

3

MOLOG: A system that extends PROLOG with modal logic

Luis Fariñas Del Cerro

Journal:

New Generation Computing

Année:

1986

Langue:

english

Fichier:

PDF, 614 KB

english, 1986

4

Finite non-deterministic semantics for some modal systems

Coniglio, Marcelo E., del Cerro, Luis Fariñas, Peron, Newton M.

Journal:

Journal of Applied Non-Classical Logics

Année:

2015

Langue:

english

Fichier:

PDF, 673 KB

english, 2015

5

A Modal Herbrand's Property

Marta Cialdea, Luis Fariñas del Cerro

Journal:

Mathematical Logic Quarterly

Année:

1986

Langue:

english

Fichier:

PDF, 436 KB

english, 1986

6

Modal resolution in clausal form

Patrice Enjalbert, Luis Farinas del Cerro

Journal:

Theoretical Computer Science

Année:

1989

Langue:

english

Fichier:

PDF, 2.00 MB

english, 1989

7

Foreword

Balbiani, Philippe, Fariñas Del Cerro, Luis, Herzig, Andreas

Journal:

Journal of Applied Non-Classical Logics

Année:

2010

Langue:

english

Fichier:

PDF, 32 KB

english, 2010

8

Foreword

Balbiani, Philippe, Fariñas Del Cerro, Luis, Herzig, Andreas

Journal:

Journal of Applied Non-Classical Logics

Année:

2010

Langue:

english

Fichier:

PDF, 29 KB

english, 2010

9

Foreword

Fariñas Del Cerro, Luis

Journal:

Journal of Applied Non-Classical Logics

Année:

2003

Langue:

english

Fichier:

PDF, 65 KB

english, 2003

10

Note to the reader

Del Cerro, Luis Fariñas

Journal:

Journal of Applied Non-Classical Logics

Année:

1995

Langue:

english

Fichier:

PDF, 38 KB

english, 1995

11

Temporal logics and their applications, edited by Galton Antony, Academic Press, London, San Diego, etc., 1987, xii + 244 pp.—Therein:Galton Antony. Temporal logic and computer science: an overview. Pp. 1– 52.Barringer Howard. The use of temporal logic in the compositional specification of concurrent systems. Pp. 53– 90.Hale Roger. Temporal logic programming. Pp. 91– 119.Sadri Fariba. Three recent approaches to temporal reasoning. Pp. 121– 168.Galton Antony. The logic of occurrence. Pp. 169– 196.Gabbay Dov. Modal and temporal logic programming. Pp. 197– 237.

Cerro, Luis Fariñas Del

Journal:

Journal of Symbolic Logic

Année:

1990

Langue:

english

Fichier:

PDF, 421 KB

english, 1990

12

Complete Axiomatization of a Relative Modal Logic with Composition and Intersection

Balbiani, Philippe, del Cerro, Luis Fariñas

Journal:

Journal of Applied Non-Classical Logics

Année:

1998

Langue:

english

Fichier:

PDF, 654 KB

english, 1998

13

Editorial

del Cerro, Luis Fariñas

Journal:

Journal of Applied Non-Classical Logics

Année:

1991

Langue:

english

Fichier:

PDF, 217 KB

english, 1991

14

Errata and Addenda to ‘Finite non-deterministic semantics for some modal systems’

Coniglio, Marcelo E., Fariñas del Cerro, Luis, Peron, Newton M.

Journal:

Journal of Applied Non-Classical Logics

Année:

2016

Langue:

english

Fichier:

PDF, 1.11 MB

english, 2016

15

Attempt at a Determination of the Role of Legal Measures in the Orientation of Urban Growth

Cheylan, J.P., Desbordes-Cheylan, F., Farinas Del Cerro, L.

Journal:

IFAC Proceedings Volumes

Année:

1977

Langue:

english

Fichier:

PDF, 1.23 MB

english, 1977

16

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates

CABALAR, PEDRO, FANDINNO, JORGE, FARIÑAS DEL CERRO, LUIS, PEARCE, DAVID

Journal:

Theory and Practice of Logic Programming

Année:

2018

Langue:

english

Fichier:

PDF, 267 KB

english, 2018

17

Interference logic = conditional logic + frame axiom

Luis Fariñas del Cerro, Andreas Herzig

Journal:

International Journal of Intelligent Systems

Année:

1994

Langue:

english

Fichier:

PDF, 582 KB

english, 1994

18

An algebraic evaluation method for deduction in incomplete data bases

R. Demolombe, L.Fariñas Del Cerro

Journal:

The Journal of Logic Programming

Année:

1988

Langue:

english

Fichier:

PDF, 1.32 MB

english, 1988

19

Global and Local Graph Modifiers

Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 306 KB

english, 2009

20

How to Produce Information About a Given Entity Using Automated Deduction Methods

Robert Demolombe, Luis Fariñas del Cerro

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 312 KB

english, 2009

21

Preface

Edward Hermann Haeusler, Luis Farinas del Cerro

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2011

Langue:

english

Fichier:

PDF, 91 KB

english, 2011

22

DAL—A logic for data analysis

Luis Fariñas Del Cerro, Ewa Orłowska

Journal:

Theoretical Computer Science

Année:

1985

Langue:

english

Fichier:

PDF, 726 KB

english, 1985

23

A note on the complexity of the satisfiability of modal Horn clauses

Luis Fariñas Del Cerro, Martti Penttonen

Journal:

The Journal of Logic Programming

Année:

1987

Langue:

english

Fichier:

PDF, 697 KB

english, 1987

24

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 1489 ||

Dix, Jürgen, del Cerro, Luís Fariñas, Furbach, Ulrich

Année:

1998

Langue:

english

Fichier:

PDF, 3.86 MB

english, 1998

25

Capturing equilibrium models in modal logic

Fariñas del Cerro, Luis, Herzig, Andreas, Su, Ezgi Iraz

Journal:

Journal of Applied Logic

Année:

2014

Langue:

english

Fichier:

PDF, 338 KB

english, 2014

26

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 1489 || A Mechanised Proof System for Relation Algebra Using Display Logic

Dix, Jürgen, del Cerro, Luís Fariñas, Furbach, Ulrich

Année:

1998

Langue:

english

Fichier:

PDF, 226 KB

english, 1998

27

Logical Modeling of Biological Systems (Fariñas del Cerro/Logical Modeling of Biological Systems) || Formal Methods Applied to Gene Network Modeling

Fariñas del Cerro, Luis, Inoue, Katsumi

Année:

2014

Langue:

english

Fichier:

PDF, 470 KB

english, 2014

28

Logical Modeling of Biological Systems (Fariñas del Cerro/Logical Modeling of Biological Systems) || Reasoning on the Response of Logical Signaling Networks with ASP

Fariñas del Cerro, Luis, Inoue, Katsumi

Année:

2014

Langue:

english

Fichier:

PDF, 468 KB

english, 2014

29

Logical Modeling of Biological Systems (Fariñas del Cerro/Logical Modeling of Biological Systems) || Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers

Fariñas del Cerro, Luis, Inoue, Katsumi

Année:

2014

Langue:

english

Fichier:

PDF, 701 KB

english, 2014

30

Wallen Lincoln A.. Automated proof search in non-classical logics. Efficient matrix proof methods for modal and intuitionistic logics. Artificial intelligence series. The MIT Press, Cambridge, Mass., and London, 1990, xv + 239 pp.

Cerro, Luis Fariñas del

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 297 KB

english, 1993

31

Logical Modeling of Biological Systems (Fariñas del Cerro/Logical Modeling of Biological Systems) || Symbolic Representation and Inference of Regulatory Network Structures

Fariñas del Cerro, Luis, Inoue, Katsumi

Année:

2014

Langue:

english

Fichier:

PDF, 1.02 MB

english, 2014

32

Information About a Given Entity: From Semantics Towards Automated Deduction

Demolombe, R., Farinas del Cerro, L.

Journal:

Journal of Logic and Computation

Année:

2010

Langue:

english

Fichier:

PDF, 212 KB

english, 2010

33

Translation of first order formulas into ground formulas via a completion theory

Demolombe, Robert, Fariñas del Cerro, Luis, Obeid, Naji

Journal:

Journal of Applied Logic

Année:

2016

Langue:

english

Fichier:

PDF, 1.07 MB

english, 2016

34

Logical Modeling of Biological Systems (Fariñas del Cerro/Logical Modeling of Biological Systems) || Front Matter

Fariñas del Cerro, Luis, Inoue, Katsumi

Année:

2014

Langue:

english

Fichier:

PDF, 185 KB

english, 2014

35

Logical Modeling of Biological Systems (Fariñas del Cerro/Logical Modeling of Biological Systems) || Analyzing SBGN-AF Networks Using Normal Logic Programs

Fariñas del Cerro, Luis, Inoue, Katsumi

Année:

2014

Langue:

english

Fichier:

PDF, 434 KB

english, 2014

36

Modal logic with non-deterministic semantics: Part I—Propositional case

Coniglio, Marcelo E, Luis, Fariñas Del Cerro, Newton, Marques Peron

Journal:

Logic Journal of IGPL

Année:

2019

Langue:

english

Fichier:

PDF, 610 KB

english, 2019

37

Modal logic with non-deterministic semantics: Part I—Propositional case

Coniglio, Marcelo E, Luis, Fariñas Del Cerro, Newton, Marques Peron

Journal:

Logic Journal of IGPL

Année:

2019

Fichier:

PDF, 610 KB

2019